(define (has-binding? env var)
    (with-exception-handler
       #f
        (lambda ()
            (let ((val (env var)))
                (#t)
            )
        )
    )
)


(define (report-invalid-variable s)
    (eopl:error ’has-binding? "Bad : ~s" s)
)
